Polymorphic Type Inference for the Named Nested Relational Calculus Jan Van den Bussche and Stijn Vansummeren∗ Abstract The named nested relational calculus is the canonical query language for the complex object databa

Source URL: alpha.uhasselt.be

3. Type Systems We will consider the problem of type assignment and type checking for the object calculus. Just as we have type-free and typed lambda calculus, so we also have type-free and typed

Source URL: www.nada.kth.se

Locality optimization in JavaParty by means of static type analysis Michael Philippsen and Bernhard Haumacher University of Karlsruhe, Germany and Abstract

Source URL: www.haumacher.de

• Computing
• Software engineering
• Computer programming
• Java
• Object-oriented programming languages
• Object-oriented programming
• Concurrent programming languages
• Cross-platform software
• Clone
• This
• Software design pattern
• Method

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington

Source URL: homes.cs.washington.edu

• Software engineering
• Computing
• Computer programming
• Type theory
• Data types
• Object-oriented programming
• Concurrent programming languages
• Type system
• Scala
• Intent
• Type safety
• Java

Speaker Excellence Awards – 2009 Annual Meeting and Exposition Gold Medal Sessions Richard Dolewski • Disaster Recovery Primer - Ready, Set, Plan John Earl • IBM i Security by Object Type

Source URL: www.common.org

• Computing
• Computer architecture
• Power Architecture
• Software
• AS/400
• Server hardware
• IBM AIX
• IBM RPG
• Scott Klement
• IBM WebSphere Application Server
• IBM Notes
• Cgidev2

Package ‘pRoloc’ August 18, 2016 Type Package Title A unifying bioinformatics framework for spatial proteomics VersionAuthor Laurent Gatto and Lisa M. Breckels with contributions from

Source URL: www.bioconductor.org

• Software engineering
• Object-oriented programming
• Computing
• Software
• Bioinformatics
• Proteins
• Biological databases
• Genomics
• Proteomics
• C++ classes
• Class
• This

On the Revival of Dynamic Languages Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, St´ephane Ducasse, Markus G¨ alli, and Roel Wuyts Software Composition Group, University of Bern www.iam.unibe.ch/∼scg

Source URL: rmod.inria.fr

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• Object-oriented programming
• Data types
• Type theory
• Programming paradigms
• Smalltalk
• Type system
• Objective-C
• R

aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems

Source URL: d3s.mff.cuni.cz

• Computing
• Software engineering
• Object-oriented programming
• Data types
• Type theory
• Cross-platform software
• Java virtual machine
• Aicas
• Software development process
• Polymorphism
• Subtyping
• Java

Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i

Source URL: mrg.doc.ic.ac.uk

• Software engineering
• Computability theory
• Object-oriented programming
• Polymorphism
• Subtyping
• Type theory
• Theoretical computer science
• Characteristic function
• Lambda calculus
• Computing

Scala Macros Eugene Burmako, Denys Shabalin Martin Odersky Term generation def  specialized[T:  ClassTag](code:  =>  Any)  =  macro  ...   def  createArray[T:  ClassTag](size:  Int,  e

Source URL: scalamacros.org

• Software engineering
• Computing
• Computer programming
• Concurrent programming languages
• Functional languages
• Object-oriented programming languages
• Functional programming
• Procedural programming languages
• Scala
• Macro
• Nim
• Type class